3

Combination of constraint systems II: Rational amalgamation

Year:
2001
Language:
english
File:
PDF, 456 KB
english, 2001
4

On the Complexity of RSRL

Year:
2004
File:
PDF, 566 KB
2004
6

Monadic Second-Order Logic and Transitive Closure Logics Over Trees

Year:
2009
Language:
english
File:
PDF, 226 KB
english, 2009